No Type Stamps and No Structure Stamps | a Referentially - Transparent Higher
نویسنده
چکیده
A language for programming-in-the-large should support architectural descriptions of an entire product line. The evaluation of programs-in-the-large should generate the architecture of individual products and should link implementations-in-the-small to form an executable product. The Standard ML (SML) module language 20] could serve this task, but it is not referentially transparent. Furthermore, it does not distinguish between architectural and implementa-tional concerns. This paper presents a general module language that is based on a typed-calculus extended by systems. Overcoming SML's drawbacks, the module language permits syntactic control of type and structure gen-erativity resulting in referential transparency. Furthermore , splitting up architectural and implemen-tational concerns, the implementation of elementary modules is not part of the module language. The module calculus is essentially simply typed, with elementary modules and types as simple values, and interfaces and kinds as types. Function and system interfaces are value-dependent types.
منابع مشابه
No Type Stamps and No Structure Stamps - a Referentially-Transparent Higher-Order Module Language
متن کامل
Limited indications of tax stamp discordance and counterfeiting on cigarette packs purchased in tobacco retailers, 97 counties, USA, 2012
Increasing the per-unit cost of tobacco products is one of the strongest interventions for tobacco control. In jurisdictions with higher taxes in the U.S., however, cigarette pack litter studies show a substantial proportion of littered packs lack the appropriate tax stamp. More limited but still present counterfeiting also exists. We sought to examine the role of tobacco retailers as a source ...
متن کاملUse of Tobacco Tax Stamps to Prevent and Reduce Illicit Tobacco Trade — United States, 2014
Tobacco use is the leading cause of preventable disease and death in the United States. Increasing the unit price on tobacco products is the most effective tobacco prevention and control measure. Illicit tobacco trade (illicit trade) undermines high tobacco prices by providing tobacco users with cheaper-priced alternatives. In the United States, illicit trade primarily occurs when cigarettes ar...
متن کاملSecure and Cost Eecient Electronic Stamps
Even small companies do not use physical stamps to prepay postal services, but have a franking machine which can be logically loaded with a certain amount of stamps which are printed on letters for example. Special purpose franking machines, which are still widely used in practice, however have security and handling problems. It was relatively easy to forge stamps and in some cases one needed t...
متن کاملStamp Verification for Automated Document Authentication
Stamps, along with signatures, can be considered as the most widely used extrinsic security feature in paper documents. In contrast to signatures, however, for stamps little work has been done to automatically verify their authenticity. In this paper, an approach for verification of color stamps is presented. We focus on photocopied stamps as nongenuine stamps. Our previously presented stamp de...
متن کامل